<    1    >

---

Logica

• Tautologie

• Wet van de uitgesloten derde
• Onvolledigheidsstellingen
• Entscheidungsproblem

• Kunstmatige intelligentie

• Bewijs uit het ongerijmde
• Bewijs door volledige inductie
• Bewijs met een computer

Bijzonderheden

• Isgelijkteken
• Non sequitur

 

---

العربية   Deutsch   English   Español   Français   中文   Русский